transgene O CD4C/HIV<MutA> http://identifiers.org/mgd/MGI:2450588 transgene insertion F21407, Paul Jolicoeur Tg(CD4-HIV)F21407Pjo Transgene MGI:2450588